翻訳と辞書 |
Forking extension : ウィキペディア英語版 | Forking extension In model theory, a forking extension is an extension that is not whereas a non-forking extension is an extension that is as free as possible. This can be used to extend the notions of linear or algebraic independence to stable theories. These concepts were introduced by S. Shelah. ==Definitions== Suppose that ''A'' and ''B'' are models of some complete ω-stable theory ''T''. If ''p'' is a type of ''A'' and ''q'' is a type of ''B'' containing ''p'', then ''q'' is called a forking extension of ''p'' if its Morley rank is smaller, and a nonforking extension if it has the same Morley rank.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Forking extension」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|